General topology - PDFSEARCH.IO - Document Search Engine

General topology
Results: 894

#	Item
71	E:/My Documents/vortrÃ¤ge und publikationen/geographic events/final/IJGIS-final/gec.dvi Add to Reading List Source URL: cognitivegiscience.psu.edu Language: English - Date: 2007-07-10 08:27:56 General topology Knowledge representation Reasoning Cognitive science Cartography Spatialtemporal reasoning Region connection calculus Spatial analysis Topology Spatial relation National Center for Geographic Information and Analysis Duality
72	567 Documenta Math. Separatedness in Constructive Topology ˘ Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2003-12-31 10:10:06 General topology Topological spaces Separation axioms Topological vector spaces Hausdorff space Net Uniform space Topology Topology of uniform convergence
73	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-26 12:08:36 Homotopy theory General topology Topology Contractible space Connected space Homotopy Univalent foundations Topological space Continuous function
74	TOPOLOGICAL SIMPLICITY OF THE CREMONA GROUPS JÉRÉMY BLANC AND SUSANNA ZIMMERMANN Abstract. The Cremona group is topologically simple when endowed with the Zariski or Euclidean topology, in any dimension ≥ 2 and over Add to Reading List Source URL: jones.math.unibas.ch Language: English - Date: 2015-11-30 15:26:18 Algebraic geometry General topology Algebraic varieties Scheme theory Algebraic structures Zariski topology Kernel Topological space Birational geometry Ring Ample line bundle Scheme
75	Fuzzy rough sets, fuzzy preorders and fuzzy topologies S.P. Tiwari Indian School of Mines, Dhanbad, India The relationship between rough set theory and topological spaces is wellknown. One central observation in Add to Reading List Source URL: irafm.osu.cz Language: English - Date: 2015-06-04 06:27:00 Order theory General topology Fuzzy logic Preorder Binary relation Topological space Rough set Closure operator Closure Kazimierz Kuratowski Alexandrov topology Fuzzy subalgebra
76	Paracompact box products (again) Judith Roitman University of Kansas June 2010 Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 10:07:59 Topology Mathematics General topology Topological spaces Separation axioms Paracompact space Metrization theorem Countably compact space Product topology Compact space Metric space -compact space
77	Appendix F: Examples of existing semantic representations of mathematics 1. The central limit theorem as represented in Isabelle [12]: 2. The definition of a Möbius transformation in Coq [28]: Add to Reading List Source URL: www.wolframfoundation.org Language: English - Date: 2015-12-15 12:07:17 General topology Mathematics ACL2 Lisp Compact space Automated theorem proving Software Mathematical logic Model theory
78	Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces∗ Daniel K¨ornlein and Ulrich Kohlenbach† Department of Mathematics Technische Universit¨at Darmstadt Schlossgarten Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2011-05-19 10:28:59 Mathematics Geometry Metric geometry Space Fixed-point theorems Banach fixed-point theorem Topology Lipschitz continuity Fixed-point iteration Contraction mapping
79	General logical metatheorems for functional analysis Philipp Gerhardy, Department of Philosophy, Carnegie Mellon University, Pittsburgh, PA 15213, USA Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-08-23 06:37:20 Mathematics Algebra Metric geometry Topology Space Topological vector spaces Linear algebra Metric Continuous function Normed vector space Norm Topology of uniform convergence
80	E ample use of EDSTools -- Sage E ample use of EDSTools Load the script. Add to Reading List Source URL: math.colorado.edu Language: English - Date: 2015-10-18 16:52:46 Mathematics Geometry Abstract algebra Elliptic curves Analytic number theory Curve General topology Metric geometry Topology Elliptic divisibility sequence

UPDATE